dimap(f)(identity[B])(pbb): P[A, B]